home *** CD-ROM | disk | FTP | other *** search
/ Game.EXE 2001 February / GAME_2.ISO / utilities / Opera 5.01 / Opera501_final_nonjava.exe / OPERA.JAR / opera / JavaConsole.class (.txt) < prev    next >
Encoding:
Java Class File  |  2000-12-07  |  1.7 KB  |  50 lines
  1. package opera;
  2.  
  3. import java.awt.Component;
  4. import java.awt.Container;
  5. import java.awt.Frame;
  6. import java.awt.TextArea;
  7. import java.awt.Window;
  8. import java.awt.event.WindowEvent;
  9. import java.awt.event.WindowListener;
  10.  
  11. public class JavaConsole extends Frame implements WindowListener {
  12.    private TextArea output_area = new TextArea();
  13.  
  14.    public JavaConsole() {
  15.       super("Opera Java console");
  16.       ((Container)this).add(this.output_area);
  17.       this.output_area.setVisible(true);
  18.       this.output_area.append("-- Opera Java Console --\n\n");
  19.       this.output_area.append("Java vendor: " + System.getProperty("java.vendor") + "\n");
  20.       this.output_area.append("Java version: " + System.getProperty("java.version") + "\n\n--\n");
  21.       ((Component)this).setSize(300, 200);
  22.       ConsoleOStream var1 = new ConsoleOStream(this.output_area);
  23.       System.setOut(var1);
  24.       System.setErr(var1);
  25.       ((Window)this).addWindowListener(this);
  26.    }
  27.  
  28.    public void windowActivated(WindowEvent var1) {
  29.    }
  30.  
  31.    public void windowClosed(WindowEvent var1) {
  32.    }
  33.  
  34.    public void windowClosing(WindowEvent var1) {
  35.       ((Window)this).dispose();
  36.    }
  37.  
  38.    public void windowDeactivated(WindowEvent var1) {
  39.    }
  40.  
  41.    public void windowDeiconified(WindowEvent var1) {
  42.    }
  43.  
  44.    public void windowIconified(WindowEvent var1) {
  45.    }
  46.  
  47.    public void windowOpened(WindowEvent var1) {
  48.    }
  49. }
  50.